domain_pause duplicates the code from vcpu_pause. Eliminate the

duplicate code and make domain_pause a mirror of the existing
domain_unpause.

Signed-off-by: Tony Breeds <tony@bakeyournoodle.com>

diff --git a/xen/common/domain.c b/xen/common/domain.c
index b32087a1552c071019df281a8365e8aa390be4ee..9d2806d9ee33cb9deff021a3df372248a447839c 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -293,11 +293,7 @@ void domain_pause(struct domain *d)
     struct vcpu *v;
 
     for_each_vcpu( d, v )
-    {
-        BUG_ON(v == current);
-        atomic_inc(&v->pausecnt);
-        vcpu_sleep_sync(v);
-    }
+        vcpu_pause(v);
 
     sync_pagetable_state(d);
 }